A unifying view of abstract domain design

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Abstract State Machines: a unifying view of models of computation and of system design frameworks

State Machines: A Unifying View of Models of Computation and of System Design Frameworks Egon Börger Università di Pisa, Dipartimento di Informatica, I-56125 Pisa, Italy, [email protected] Abstract We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis...

متن کامل

A Unifying View on Approximation and FPT of Agreement Forests (Extended Abstract⋆)

We provide a unifying view on the structure of maximum (acyclic) agreement forests of rooted and unrooted phylogenies. This enables us to obtain linearor O(n log n)-time 3-approximation and improved fixed-parameter algorithms for the subtree prune and regraft distance between two rooted phylogenies, the tree bisection and reconnection distance between two unrooted phylogenies, and the hybridiza...

متن کامل

A Unifying View of Multiple Kernel Learning

Recent research on multiple kernel learning has lead to a number of approaches for combining kernels in regularized risk minimization. The proposed approaches include different formulations of objectives and varying regularization strategies. In this paper we present a unifying general optimization criterion for multiple kernel learning and show how existing formulations are subsumed as special...

متن کامل

A Unifying View of Representer Theorems

Proposition 6.1. Let S denote a quasilinear subspace-valued map. Then S(αx) = αS(x) and αS(x) ⊆ S(αx + βy) + βS(y) Proof. The case α = 0 follows directly from the definition. If α = 0, applying quasilinearity with β ← 0 we obtain that S(αx) ⊆ αS(x) and S(x) ⊆ 1 α S(αx). From these (2) follows. (3) follows from (2) and the definition applied to the difference of αx + βy and βy. Lemma 6.1. Let S ...

متن کامل

A Unifying Probabilistic View of Associative Learning

Two important ideas about associative learning have emerged in recent decades: (1) Animals are Bayesian learners, tracking their uncertainty about associations; and (2) animals acquire long-term reward predictions through reinforcement learning. Both of these ideas are normative, in the sense that they are derived from rational design principles. They are also descriptive, capturing a wide rang...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM Computing Surveys

سال: 1996

ISSN: 0360-0300,1557-7341

DOI: 10.1145/234528.234742